Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
📝NLP
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·1d·
Discuss: Hacker News
💬Philosophy of Language
Flag this post
[Tips, very lenghty] What your language should probably need to be able to communicate effectively.
reddit.com·21h·
Discuss: r/conlangs
💬Philosophy of Language
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·5h·
Discuss: DEV
🔧Workflow Automation
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·18h·
Discuss: Hacker News
💬Philosophy of Language
Flag this post
Can MLLMs Read the Room? A Multimodal Benchmark for Verifying Truthfulness in Multi-Party Social Interactions
arxiv.org·5h
🔄Transformers
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·45m
✍️Writing Systems
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·1d
📝NLP
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1h·
Discuss: Hacker News
🍎Macos
Flag this post
Horn Clauses
youtube.com·2d
💬Philosophy of Language
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·15h·
Discuss: Hacker News
🤖AI
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·1h·
Discuss: DEV
🤖AI
Flag this post
CloudEvents as a Data Product
codesimple.blog·3h
🔧Workflow Automation
Flag this post
Scala vs. F#
alexn.org·6h·
Discuss: Hacker News
💬Philosophy of Language
Flag this post
Handbook of Satisfiability (2021)
iospress.com·22h·
Discuss: Hacker News
📝NLP
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
ollama.com·1d·
Discuss: DEV
📝NLP
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·2h·
Discuss: DEV
🤖AI
Flag this post
What Artifacts Teach Us
systemsapproach.org·2h
💬Philosophy of Language
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·21h·
Discuss: Hacker News
💬Philosophy of Language
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·12h
📝NLP
Flag this post